KIO_VADDR = 0xffff001000000000
KIO_VADDR_END = 0xffff001400000000
KMEM_VADDR = 0xffff002000000000
KMEM_VADDR_END = 0xffff002400000000
KPAGE_VADDR = 0xffff003000000000
KPAGE_VADDR_END = 0xffff003400000000
CurrentEL_EL2 = 0x8
SCTLR_EL1_RES1 = 0x30500800
SCTLR_EL2_RES1 = 0x30c50830
ENDIAN_SET_EL1 = 0x0
ENDIAN_SET_EL2 = 0x0
BOOT_CPU_MODE_EL1 = 0xe11
BOOT_CPU_MODE_EL2 = 0xe12
PSR_F_BIT = 0x40
PSR_I_BIT = 0x80
PSR_A_BIT = 0x100
PSR_D_BIT = 0x200
PSR_MODE_EL1h = 0x5
MAIR_ATTR = 0xbbff440c0400
PGD_TYPE_TABLE = 0x3
SWAPPER_MM_NORMALFLAGS = 0x711
SWAPPER_MM_IOFLAGS = 0x705
PGD_SHIFT = 0x27
PUD_SHIFT = 0x1e
PTRS_PER_PGD = 0x200
PUD_SIZE = 0x40000000
PTRS_PER_PUD = 0x200
PAGE_SIZE = 0x1000
THREAD_STACK_SIZE = 0x4000
SCTLR_EL1_SET = 0x34f4d91d
TCR_T0SZ_OFFSET = 0x0
TCR_T0SZ = 0x10
TCR_TxSZ = 0x100010
TCR_TxSZ_WIDTH = 0x6
TCR_IRGN_WBWA = 0x1000100
TCR_CACHE_FLAGS = 0x5000500
TCR_SMP_FLAGS = 0x30003000
TCR_TG_FLAGS = 0x80000000
TCR_A1 = 0x400000
TCR_ASID16 = 0x1000000000
TCR_TBI0 = 0x2000000000
ID_AA64MMFR0_PARANGE_MAX = 0x5
ID_AA64MMFR0_PARANGE_SHIFT = 0x0
TCR_IPS_SHIFT = 0x20
ID_AA64MMFR0_TGRAN_SHIFT = 0x1c
ID_AA64MMFR0_TGRAN_SUPPORTED = 0x0
USER_DS = 0xffffffffffff
S_LR = 0xf0
S_SP = 0xf8
S_PC = 0x100
S_PSTATE = 0x108
S_ORIG_X0 = 0x110
S_ORIG_ADDR_LIMIT = 0x120
S_STACKFRAME = 0x130
S_SYSCALLNO = 0x118
S_FRAME_SIZE = 0x140
NO_SYSCALL = 0xffffffffffffffff
BUG_BRK_IMM = 0x800
ESR_ELx_EC_SHIFT = 0x1a
ESR_ELx_EC_UNKNOWN = 0x0
ESR_ELx_EC_WFx = 0x1
ESR_ELx_EC_FP_ASIMD = 0x7
ESR_ELx_EC_SVC64 = 0x15
ESR_ELx_EC_SYS64 = 0x18
ESR_ELx_EC_SVE = 0x15
ESR_ELx_EC_IABT_LOW = 0x20
ESR_ELx_EC_IABT_CUR = 0x21
ESR_ELx_EC_PC_ALIGN = 0x22
ESR_ELx_EC_DABT_LOW = 0x24
ESR_ELx_EC_DABT_CUR = 0x25
ESR_ELx_EC_SP_ALIGN = 0x26
ESR_ELx_EC_FP_EXC64 = 0x2c
ESR_ELx_EC_BREAKPT_LOW = 0x30
ESR_ELx_EC_BREAKPT_CUR = 0x31
ESR_ELx_EC_BRK64 = 0x3c
TIF_NEED_RESCHED = 0x1
_TIF_WORK_MASK = 0x2
TSK_STACK = 0x0
TSK_TI_ADDR_LIMIT = 0x8
TSK_TI_FLAGS = 0x10
TSK_TI_PREEMPT = 0x14
CPU_BOOT_STACK = 0x0
CPU_BOOT_TASK = 0x8
